Nuprl Definition : ma-interface-left
11,40
postcript
pdf
ma-interface-left(
X
) == ma-interface-compose(
x
.
x
;
X
)
latex
Definitions
ma-interface-compose(
g
;
X
)
,
x
.
A
(
x
)
FDL editor aliases
ma-interface-left
origin
x.x;X) x.x;X) x.A(x)